Programming by Contract in a Distributed Object Environment

Although the representation of preconditions and postconditions in a non-distributed environment is clear and relatively well established, the pragmatic requirements of a distributed environment introduce some complication to the traditional implementation of programming by contract (PBC))10]. In this paper we discuss and review the common deenition of an object interface in relation to distributed environment and encapsulation. We go on to describe an implementation approach of PBC for a distributed environment which is more eeective in checking the interface constraints occurring in a distributed setting whilst limiting the publicly available methods to only those required.